$\forall$$A$:Type. strong{-}subtype($A$; $A$)